On the Semantics of Hybrid ASP Systems Based on Clingo

Over the last decades, development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At same time, it gets more and difficult to provide semantic underpinnings capturing resulting constructs inferences. This is even severe when comes hybrid ASP languages systems that are often needed handle real-world applications. We address this challenge introduce concept abstract structured theories allow us formally elaborate upon their integration with ASP. then use make characterization clingo’s theory-reasoning framework precise. provides a formal in which we can properties existing hybridizations clingo, such as clingcon, clingo[dl], clingo[lp].